101 research outputs found
Signs in the cd-index of Eulerian partially ordered sets
A graded partially ordered set is Eulerian if every interval has the same
number of elements of even rank and of odd rank. Face lattices of convex
polytopes are Eulerian. For Eulerian partially ordered sets, the flag vector
can be encoded efficiently in the cd-index. The cd-index of a polytope has all
positive entries. An important open problem is to give the broadest natural
class of Eulerian posets having nonnegative cd-index. This paper completely
determines which entries of the cd-index are nonnegative for all Eulerian
posets. It also shows that there are no other lower or upper bounds on
cd-coefficients (except for the coefficient of c^n)
Generalizations of Eulerian partially ordered sets, flag numbers, and the Mobius function
A partially ordered set is r-thick if every nonempty open interval contains
at least r elements. This paper studies the flag vectors of graded, r-thick
posets and shows the smallest convex cone containing them is isomorphic to the
cone of flag vectors of all graded posets. It also defines a k-analogue of the
Mobius function and k-Eulerian posets, which are 2k-thick. Several
characterizations of k-Eulerian posets are given. The generalized
Dehn-Sommerville equations are proved for flag vectors of k-Eulerian posets. A
new inequality is proved to be valid and sharp for rank 8 Eulerian posets
On the non-existence of an R-labeling
We present a family of Eulerian posets which does not have any R-labeling.
The result uses a structure theorem for R-labelings of the butterfly poset.Comment: 6 pages, 1 figure. To appear in the journal Orde
Level Eulerian Posets
The notion of level posets is introduced. This class of infinite posets has
the property that between every two adjacent ranks the same bipartite graph
occurs. When the adjacency matrix is indecomposable, we determine the length of
the longest interval one needs to check to verify Eulerianness. Furthermore, we
show that every level Eulerian poset associated to an indecomposable matrix has
even order. A condition for verifying shellability is introduced and is
automated using the algebra of walks. Applying the Skolem--Mahler--Lech
theorem, the -series of a level poset is shown to be a rational
generating function in the non-commutative variables and .
In the case the poset is also Eulerian, the analogous result holds for the
-series. Using coalgebraic techniques a method is developed to
recognize the -series matrix of a level Eulerian poset
- …